export * from "./var"
export * from "./pi"
export * from "./fn"
export * from "./ap"
export * from "./sigma"
export * from "./cons"
export * from "./car"
export * from "./cdr"
export * from "./nat"
export * from "./zero"
export * from "./add1"
export * from "./nat-ind"
export * from "./equal"
export * from "./same"
export * from "./replace"
export * from "./absurd"
export * from "./absurd-ind"
export * from "./trivial"
export * from "./sole"
export * from "./str"
export * from "./quote"
export * from "./type"
export * from "./begin"
export * from "./the"
